independent axioms

獨立公理